Listing 1 - 10 of 72 | << page >> |
Sort by
|
Choose an application
Choose an application
Chapter 1 - Fundamentals of Computer Design Chapter 2 - Instruction Set Principles and Examples Chapter 3 - Instruction-Level Parallelism and Its Dynamic Exploitation Chapter 4 - Exploiting Instruction-Level Parallelism with Software Approaches Chapter 5 - Memory Hierarchy Design Chapter 6 - Multiprocessors and Thread-Level Parallelism Chapter 7 - Storage Systems Chapter 8 - Interconnection Networks and Clusters Appendix A - Pipelining: Basic and Intermediate Concepts Appendix B - Solutions to Selected Exercises Online Appendices Appendix C - A Survey of RISC Architectures for Desktop, Server, and Embedded Computers Appendix D - An Alternative to RISC: The Intel 80x86 Appendix E - Another Alternative to RISC: The VAX Architecture Appendix F - The IBM 360/370 Architecture for Mainframe Computers Appendix G - Vector Processors Revised by Krste Asanovic Appendix H - Computer Arithmetic by David Goldberg Appendix I - Implementing Coherence Protocols
computerkunde --- servers --- multiprocessoren --- systeemontwerp --- Computer architecture. Operating systems --- Computer architecture --- Ordinateurs --- Architecture --- 681.3*B3 --- 681.3*B4 --- 681.3*C0 --- 681.3*C1 --- Architecture, Computer --- Memory structures (Hardware) --- Input/output and data communications (Hardware) --- Computerwetenschap--?*C0 --- Processor architectures (Computer systems organization) --- Computer architecture. --- Computerarchitectuur --- 681.3*C1 Processor architectures (Computer systems organization) --- 681.3*B4 Input/output and data communications (Hardware) --- 681.3*B3 Memory structures (Hardware) --- Computerarchitectuur.
Choose an application
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.
Logic programming --- Computer Science --- Engineering & Applied Sciences --- 681.3*D16 --- 681.3*D11 --- 681.3*F31 --- 681.3*F41 --- 681.3*I22 --- Computerwetenschap--?*D16 --- Applicative (functional) programming --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D11 Applicative (functional) programming --- Computer science. --- Science. --- Computer programming. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Logics and Meanings of Programs. --- Science, general. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Natural science --- Science of science --- Sciences --- Informatics --- Science --- Programming --- Logic design. --- Science, Humanities and Social Sciences, multidisciplinary. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory
Choose an application
Programming --- Computer software --- Computer programming --- Logiciels --- Programmation (Informatique) --- Testing --- Development --- Essais --- Développement --- software --- testen --- Computer programming. --- Development. --- Testing. --- Développement --- Software, Computer --- Computer systems --- Development of computer software --- Software development --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- 681.3*D2 --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Computer software - Testing --- Computer software - Development
Choose an application
Programming --- Object-oriented programming (Computer science) --- Java (Computer program language) --- 681.3*D2 --- Object-oriented programming languages --- JavaSpaces technology --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Computer Science --- Engineering & Applied Sciences
Choose an application
Programming --- Formal methods (Computer science) --- Systems engineering --- Petri nets --- Méthodes formelles (Informatique) --- Ingénierie des systèmes --- Réseaux de Pétri --- 681.3*D2 --- 681.3*F --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Theory of computation --- 681.3*F Theory of computation --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Méthodes formelles (Informatique) --- Ingénierie des systèmes --- Réseaux de Pétri --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Graph theory --- Nets (Mathematics) --- System design --- Design and construction
Choose an application
Operating systems (Computers) --- Systèmes d'exploitation (Ordinateurs) --- Linux. --- 681.3*D4 --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems--See also {681.3*C} --- Operating systems --- Operating systems (Computers). --- 681.3*D4 Operating systems--See also {681.3*C} --- Systèmes d'exploitation (Ordinateurs) --- Slackware Linux --- SUSE Linux
Choose an application
Java (Computer program language) --- Java (Langage de programmation) --- Handbooks, manuals, etc. --- Guides, manuels, etc. --- JavaBeans --- 681.3*D2 --- 681.3*D32 --- 681.3.06 --- EJB --- Java --- ejb (enterprise java beans) --- j2ee (java 2 platform, enterprise edition) --- java --- jsp technologie --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Electronic data processing personnel --- Object-oriented programming languages --- JavaSpaces technology --- Certification --- JavaBeans. --- Java beans
Choose an application
Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines—frameworks we inherited from designs made decades ago. The reasons are manyfold, but one of them stands out: The same concepts have been used, on the one hand, to represent and manipulate programs internally in compilers and, on the other hand, to allow us humans to reason about optimizations. Unfortunately, these two uses have different aims and constraints. An example of such a situation is given by control-?ow graphs of basic blocks, which have been - tremely useful in practice as an internal representation of programs, but which are not always adequate or convenient to formally think about programs and specify their transformations. In some cases, de?nitions based on control-?ow graphs can be overly restrictive. Dominance, studied in Chapter 4, is a good example.
Programming --- Programming languages (Electronic computers) --- Langages de programmation --- 681.3*I22 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Programming languages (Electronic computers). --- Computer Science --- Engineering & Applied Sciences --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Computer science. --- Computer programming. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory
Choose an application
This title covers all software-related aspects of SoC design, from embedded and application-domain specific operating systems to system architecture for future SoC. It will give embedded software designers invaluable insights into the constraints imposed by the use of embedded software in an SoC context.
Computer science. --- Software engineering. --- Computers. --- Computer-aided engineering. --- Electrical engineering. --- Electronic circuits. --- Computer Science. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Circuits and Systems. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Electrical Engineering. --- 681.3*D2 --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Computer software --- Embedded computer systems --- Operating systems (Computers) --- Development --- Programming --- Computer Software --- Operating Systems (Computers) --- Embedded Computer Systems --- Computers --- Operating systems (computers)
Listing 1 - 10 of 72 | << page >> |
Sort by
|